es{-}msg(${\it es}$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$msg(es{-}lnk(${\it es}$; $e$);es{-}tag(${\it es}$; $e$);es{-}val(${\it es}$; $e$))